A New Framework for Local Belief Revision
نویسندگان
چکیده
AGM-style revision consists of two suboperations, contraction followed by expansion. With respect to Hansson, this is called internal revision and an alternative procedure, external revision is proposed. It consists in, rst, expanding the belief base by the new sentence and after that contracting by its negation. In this paper, on the one hand, we propose a new framework for local belief revision by extending the LS-model introduced by Parikh and studied by several authors in the last decade. The new model, called the C-structure model, is based on adapting the containment property in propositional logic, since it has been de ned in a spatial context. On the other hand, we de ne a local external revision operation equivalent to the one de ned by Hansson -in a classical (not-local) frameworkby de ning local contraction operation.
منابع مشابه
Local Space-Time Smoothing for Version Controlled Documents
Unlike static documents, version controlled documents are continuously edited by one or more authors. Such collaborative revision process makes traditional modeling and visualization techniques inappropriate. In this paper we propose a new representation based on local spacetime smoothing that captures important revision patterns. We demonstrate the applicability of our framework using experime...
متن کاملSource-Sensitive Belief Change
The AGM model is the most remarkable framework for modeling belief revision. However, it is not perfect in all aspects. Paraconsistent belief revision, multi-agent belief revision and non-prioritized belief revision are three different extensions to AGM to address three important criticisms applied to it. In this article, we propose a framework based on AGM that takes a position in each of thes...
متن کاملA Unified Framework of Propositional Knowledge Base Revision and Update Based on State Transition Models
Belief revision and belief update are two of the most basic types of belief change operations. We need to select either revision or update when we accept new information into the current belief, however, such decision making has not been considered. In this paper, we propose a unified framework of revision and update based on state transition models that enable us to do such decision making. Th...
متن کاملA negotiation-style framework for non-prioritised revision
We present a framework for non-prioritised belief revision i.e., belief revision in which newly acquired information is not always fully accepted in which the result of revision is arrived at via a kind of negotiation between old information and new. We show how both ordinary par t ia l meet revision and Fermd and Hansson's selective revision can be captured in this framework, and also how it s...
متن کاملBelief Revision and Updates in Numerical Formalisms: An Overview, with new Results for the Possibilistic Framework
The difference between Bayesian conditioning and Lewis' imaging is somewhat similar to the one between Gardenfors' belief revision and Katsuno and Mendelzon' updating in the logical framework. Counterparts in possibility theory of these two operations are presented, including the case of conditioning upon an uncertain observation. Possibilistic conditioning satisfies all the postulates for beli...
متن کامل